Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

In this paper, I argue that David Lewis’s possible world semantics for counterfactual discourse and for fictional discourse are apparently inconsistent and in need of revision. The problem emerges for Lewis’s account once one considers how to evaluate ambifictional counterfactuals. Since this is likely not a concept familiar to most, and since it does not appear that the problem has been previously recognized in the critical literature, I will begin by rehearsing Lewis’s possible worlds semantics for counterfactuals and fiction. Then (...) I will explicate the distinction between intrafictional, extrafictional, interfictional, and ambifictional propositions. Next, I will state what an ambifictional counterfactual proposition is, and explain why this kind of discourse confounds Lewis’s system. I will conclude, finally, with a brief discussion of how the Lewisian would be best advised to resolve the paradox. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

This thesis investigates transnational macro-narrative decendancy in violent conflicts and identifies enabling dynamics that facilitate re-framing. To date there has been little focus on processes involved, explicitly narrative descendancy, bridging, resonance building, or grafting, representing a critical knowledge gap. -/- This thesis reviews relevant literature on constructivism and rational choice theory and tests the findings against an empirical case study in Central Sulawesi. The findings demonstrate a mixture of approaches is present, though this is likely due to a range of (...) dynamics unique to the conflict. The results have high relevance to policy makers and academics across security and conflict disciplines. (shrink)

Basic Emotion Theory, or BET, has dominated the affective sciences for decades (Ekman, 1972, 1992, 1999; Ekman and Davidson, 1994; Griffiths, 2013; Scarantino and Griffiths, 2011). It has been highly influential, driving a number of empirical lines of research (e.g., in the context of facial expression detection, neuroimaging studies and evolutionary psychology). Nevertheless, BET has been criticized by philosophers, leading to calls for it to be jettisoned entirely (Colombetti, 2014; Hufendiek, 2016). This paper defuses those criticisms. In addition, it shows (...) that we have good reason to retain BET. Finally, it reviews and puts to rest worries that BET’s commitment to affect programs renders it outmoded. We propose that, with minor adjustments, BET can avoid such criticisms when conceived under a radically enactive account of emotions. Thus, rather than leaving BET behind, we show how its basic ideas can be revised, refashioned and preserved. Hence, we conclude, our new BET is still a good bet. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted (...) a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (shrink)

In Big Gods, Norenzayan (2013) presents the most comprehensive treatment yet of the Big Gods question. The book is a commendable attempt to synthesize the rapidly growing body of survey and experimental research on prosocial effects of religious primes together with cross-cultural data on the distribution of Big Gods. There are, however, a number of problems with the current cross-cultural evidence that weaken support for a causal link between big societies and certain types of Big Gods. Here we attempt to (...) clarify these problems and, in so doing, correct any potential misinterpretation of the cross-cultural findings, provide new insight into the processes generating the patterns observed, and flag directions for future research. (shrink)

Some researchers and autistic activists have recently suggested that because some ‘autism-related’ behavioural atypicalities have a function or purpose they may be desirable rather than undesirable. Examples of such behavioural atypicalities include hand-flapping, repeatedly ordering objects (e.g., toys) in rows, and profoundly restricted routines. A common view, as represented in the Diagnostic and Statistical Manual of Mental Disorders (DSM) IV-TR (APA, 2000), is that many of these behaviours lack adaptive function or purpose, interfere with learning, and constitute the non-social behavioural (...) dysfunctions of those disorders making up the Autism Spectrum. As the DSM IV-TR continues to be the reference source of choice for professionals working with individuals with psychiatric difficulties, its characterization of the Autism Spectrum holds significant sway. We will suggest Extended Mind and Enactive Cognition Theories, which theorize that mind (or cognition) is embodied and environmentally embedded, as coherent conceptual and theoretical spaces within which to investigate the possibility that certain repetitive behaviours exhibited by autistics possess functions or purposes that make them desirable. As lenses through which to re-examine ‘autism-related’ behavioral atypicalities, these theories not only open up explanatory possibilities underdeveloped in the research literature, but also cohere with how some autistics describe their own experience. Our position navigates a middle way between the view of autism as understood in terms of impairment, deficit and dysfunction and one that seeks to de-pathologize the Spectrum. In so doing we seek to contribute to a continuing dialogue between researchers, clinicians and self- or parent advocates. (shrink)

In a world of more than 7 billion people, 80% live on less than $10 per day. Five (5) percent of global income is generated by the poorest 40 percent of the world’s population; while the wealthiest 20% of the population generates 75 percent of world income. Economics attempts to define or describe behavior and it ventures into the realm of predicting. Economics should therefore accept responsibility for controlling/directing realities. If we can understand, define and predict behavior, we should accept (...) the responsibility for changing behavior, and as economists, bring that to bear on material upliftment of the greater majority of the earth’s populace. . Since 1847, numerous role-players have debated and worked tirelessly to promote the welfare of those who are marginalised from mainstream society. To what avail? Exactly one hundred and fifty eight years later, one of the iconic statesmen of the twentieth century, Nelson Mandela, stated: “Massive poverty and obscene inequality are such terrible scourges of our time – times in which the world boasts breathtaking advances in science, technology, industry and wealth accommodation – that they have to rank alongside slavery and apartheid as social evils” (as quoted in Green 2009:2).Clearly, significant progress in addressing the issue has not been made. A concerted drive by the United Nations led to the adoption of the Millennium Development Goals in September 2000, and was endorsed by 189 world leaders. Some progress has been made during the past decade, but it is apparent that many countries are not going to be able to reach their goals. Hence, in order to address poverty at its root, attention is increasingly focused on the contribution of the informal sector and small, medium and micro enterprises. This paper explores such and offers alternatives to combat the spectres of structural unemployment and poverty. (shrink)

There is a long-standing debate in philosophy about whether it is morally permissible to harm one person in order to prevent a greater harm to others and, if not, what is the moral principle underlying the prohibition. Hypothetical moral dilemmas are used in order to probe moral intuitions. Philosophers use them to achieve a reflective equilibrium between intuitions and principles, psychologists to investigate moral decision-making processes. In the dilemmas, the harms that are traded off are almost always deaths. However, the (...) moral principles and psychological processes are supposed to be broader than this, encompassing harms other than death. Further, if the standard pattern of intuitions is preserved in the domain of economic harm, then that would open up the possibility of studying behaviour in trolley problems using the tools of experimental economics. We report the results of two studies designed to test whether the standard patterns of intuitions are preserved when the domain and severity of harm are varied. Our findings show that the difference in moral intuitions between bystander and footbridge scenarios is replicated across different domains and levels of physical and non-physical harm, including economic harms. (shrink)

Normative theories can be useful in developing descriptive theories, as when normative subjective expected utility theory is used to develop descriptive rational choice theory and behavioral game theory. “Ought” questions are also the essence of theories of moral reasoning, a domain of higher mental processing that could not survive without normative considerations.

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

This book aims to apply recent thinking in philosophy to the age-old problem of the meaning of life, and to do so in a way that is useful to atheists, agnostics, and humanists. The book reorients the search for meaning away from a search for purpose and toward a search for what truly matters, and criticizes our society's prevailing theory of value, the preference satisfaction theory of the economists. It next argues that emotions are our best guides to what matters (...) in life, and shows how emotional judgments about what matters can be true. Finally it discusses how a meaningful life can be lived, describes the role of justice, freedom, identity, and culture in its construction, and compares the meaningful with the happy life. Andrew Kernohan has a Ph.D in philosophy from the University of Toronto and is an Adjunct Professor at Dalhousie University. He is the author of Liberalism, Equality, and Cultural Oppression (Cambridge University Press, 1998) and various articles in professional philosophy journals. (shrink)

This paper explores some surprising historical connections between philosophy and pornography (including pornography written by or about philosophers, and works that are both philosophical and pornographic). Examples discussed include Diderot's Les Bijoux Indiscrets, Argens's Therésè Philosophe, Aretino's Ragionamenti, Andeli's Lai d'Aristote, and the Gor novels of John Norman. It observes that these works frequently dramatize a tension between reason and emotion, and argues that their existence poses a problem for philosophical arguments against pornography.

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.

This critical study aims mainly to do two things: (i) throw some cold water on the claim that supervenience can be used to formulate a doctrine of non-reductive physicalism, and (ii) rebut an argument for physicalism offered (separately) by David Papineau and Barry Loewer. -/- The title alludes to the following lyric from "Mary Poppins", and was intended to hint that there is less to supervenience than meets the eye: -/- It's supercalifragilisticexpialidocious Even though the sound of it is something (...) quite atrocious If you say it loud enough, you'll always sound precocious Supercalifragilisticexpialidocious. (shrink)

Scrutiny (1932-1953) was one of the most important critical reviews of the last century. Its editors and contributors included F. R. Leavis, Q. D. Leavis, Denys Thompson, L. C. Knights, D. W. Harding, W. H. Mellers, H. A. Mason, among others. In recasting Scrutiny’s critique of mass culture by way of Alisdair MacIntyre’s After Virtue (1981), I hope to show that the Scrutiny project not only dramatizes the conflicts internal to what MacIntyre calls emotivist culture, but provides a new way (...) of looking at the group’s relation to the culture industry, its purported elitism, and its deep ties with a communitarian rather than socialist politics. (shrink)

This study identified and characterised Wittgenstein’s socialised epistemology. It examined some arguments against Wittgenstein’s socialised epistemology. It also assessed the strength of Wittgenstein’s socialised epistemology in light of the arguments against it. This was with a view to redirecting epistemology from its endless attempts in refuting radical skepticism to providing a solid ground for knowledge in Wittgenstein’s notion of “forms of life”. The study made use of both primary and secondary sources of data. The primary source comprised a close reading (...) of Plato’s “Theatetus”, Roderick Chisholm’s Theory of Knowledge, D.W. Hamlyn’s The Theory of Knowledge, Ludwig Wittgenstein’s The Blue and Brown Books, Ludwig Wittgenstein’s Philosophical Investigation, and Ludwig Wittgenstein’s On Certainty. The Secondary source included books, journal articles and the Internet. The data collected were subjected to conceptual analysis and philosophical argumentation. The results showed that Wittgenstein’s epistemology was a rejection of the orthodox epistemology, which assumed a representational relationship between words and objects in providing valid basis for knowledge. The study discovered that Wittgenstein treated knowledge as a product of epistemic community. It found out that in spite of its shortcomings Wittgenstein’s epistemology remained a plausible alternative approach to orthodox epistemology. It also discovered that contrary to the criticisms against Wittgenstein’s socialised epistemology, there were numerous merits that made it worth adopting as an approach to the problems of knowledge. The study concluded that rather than endlessly seeking to refute radical skepticism, epistemologists should be contented with knowledge as provided by the form of life embedded in an epistemic community. It also concluded that it was in this form of life that the nature of knowledge could be properly understood and attained as a socialised phenomenon. (shrink)

Several physicists, among them Hawking, Page, Coule, and Carroll, have argued against the probabilistic intuitions underlying fine-tuning arguments in cosmology and instead propose that the canonical measure on the phase space of Friedman-Robertson-Walker space-times should be used to evaluate fine-tuning. They claim that flat space-times in this set are actually typical on this natural measure and that therefore the flatness problem is illusory. I argue that they misinterpret typicality in this phase space and, moreover, that no conclusion can be (...) drawn at all about the flatness problem by using the canonical measure alone. (shrink)

Since its publication, the Psychopathic Personality Inventory and its revision (Lilien- feld & Andrews, 1996; Lilienfeld & Widows, 2005) have become increasingly popular such that it is now among the most frequently used self-report inventories for the assessment of psychopathy. The current meta-analysis examined the relations between the two PPI factors (factor 1: Fearless Dominance; factor 2: Self-Centered Impulsivity), as well as their relations with other validated measures of psychopathy, internalizing and externalizing forms of psychopathology, general personality traits, and antisocial (...) personality disorder symptoms. Across 61 samples reported in 49 publications, we found support for the convergent and criterion validity of both PPI factor 2 and the PPI total score. Much weaker validation was found for PPI factor 1, which manifested limited convergent validity and a pattern of correlations with central criterion variables that was inconsistent with many conceptualizations of psychopathy. (shrink)

SSC Result 2017 Bangladesh published on 30 may 2017. The official website of Bangladesh Education Board will be published SSC Result 2017 Educational Website in Bangladesh. Here uou get SSC Result 2017 Dhaka Board ,SSC Result 2017 Barisal Board ,SSC Result 2017 Rajshahi Board ,SSC Result 2017 Chittagong Board ,SSC Result 2017 Jessore Board ,SSC Result 2017 Sylhet Board ,SSC Result 2017 Dinajpur Board ,SSC Result 2017 Dakhil Board ,SSC Result 2017 Vocational Board & SSC Exam routine 2017 etc.

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...) purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

This article discusses the triage response to the COVID-19 delta variant surge of 2021. One issue that distinguishes the delta wave from earlier surges is that by the time it became the predominant strain in the USA in July 2021, safe and effective vaccines against COVID-19 had been available for all US adults for several months. We consider whether healthcare professionals and triage committees would have been justified in prioritising patients with COVID-19 who are vaccinated above those who are unvaccinated (...) in first-order or second-order triage. Given that lack of evidence for a correlation between short-term survival and vaccination, we argue that using vaccination status during first-order triage would be inconsistent with accepted triage standards. We then turn to notions of procedural fairness, equity and desert to argue that that there is also a lack of justification for using vaccination status in second-order triage. In planning for future surges, we recommend that medical institutions base their triage decisions on principles meant to save the most lives, minimise inequity and protect the public’s trust, which for the time being would not be served by the inclusion of vaccination status. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

In a new study, Ben-Haim et al. use subliminal stimuli to separate conscious and unconscious perception in macaques. A programme of this type, using a range of cognitive tasks, is a promising way to look for conscious perception in more controversial cases.

Abstract David Sobel (2001) objects to Bernard Williams's internalism, the view that an agent has a reason to perform an action only if she has some motive that will be served by performing that action. Sobel is an unusual challenger in that he endorses neo-Humean subjectivism, ?the view that it is the agent's subjective motivational set that makes it the case that an agent does or does not have a reason to φ? (219). Sobel's objection in fact arises from this (...) very commitment. Internalism, he says, is incompatible with the best subjectivist accounts of reasons for action?accounts that suggest that there are what he calls fragile reasons and perhaps also superfragile ones, both of which allegedly provide for counterexamples to internalism. I argue that such reasons do not in fact threaten internalism. I then briefly explore whether internalism is vulnerable to a related charge?that it commits the conditional fallacy. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Habitual actions unfold without conscious deliberation or reflection, and yet often seem to be intelligently adjusted to situational intricacies. A question arises, then, as to how it is that habitual actions can exhibit this form of intelligence, while falling outside the domain of paradigmatically intentional actions. Call this the intelligence puzzle of habits. This puzzle invites three standard replies. Some stipulate that habits lack intelligence and contend that the puzzle is ill-posed. Others hold that habitual actions can exhibit intelligence because (...) they are guided by automatic yet rational, propositional processes. Others still suggest that habits guide intelligent behaviour without involving propositional states by shaping perception in action-soliciting ways. We develop an alternative fourth answer based on John Dewey’s pragmatist account of habit. We argue that habits promote intelligent behaviour by shaping perception, by forming an interrelated network among themselves, and by cooperating with the environment. (shrink)

We consider the relationship between neural and behavioural evidence for animal consciousness. We critically examine two recent studies: one neural and one behavioural. The first, on crows, finds different neural activity depending on whether a stimulus is reported as seen or unseen. However, to implicate this neural activity in consciousness, we must assume that a specific conditioned behaviour is a report of conscious experience. The second study, on macaques, records behaviours strikingly similar to patterns of conscious and unconscious perception in (...) humans. However, confounds are only ruled out in human subjects, presupposing substantial neural similarity between humans and macaques. Taken together, the two studies reveal a sense in which neural and behavioural research rely on each other. Looking ahead, these two types of evidence could prove to be either mutually reinforcing or mutually undermining. The science of animal consciousness needs both neural and behavioural evidence, ideally obtained as part of a single coordinated programme. (shrink)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Mereological nihilism (henceforth just "nihilism") is the thesis that composition never occurs. Nihilism has often been defended on the basis of its theoretical simplicity, including its ontological simplicity and its ideological simplicity (roughly, nihilism's ability to do without primitive mereological predicates). In this paper I defend nihilism on the basis of the theoretical unification conferred by nihilism, which is, roughly, nihilism's capacity to allow us to take fewer phenomena as brute and inexplicable. This represents a respect in which nihilism enjoys (...) greater theoretical simplicity than its rivals which has not yet been explored, and which is immune to many of the objections which have been leveled against previous arguments for nihilism from nihilism's theoretical simplicity. Composition as identity might be thought to confer a similar degree of theoretical unification as nihilism. I end the paper by arguing that this is not the case. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)